-
1 теорема полноты
Большой англо-русский и русско-английский словарь > теорема полноты
-
2 теорема полноты
Mathematics: completeness theorem -
3 теорема полноты
-
4 теорема полноты
completeness theorem мат.Русско-английский научно-технический словарь Масловского > теорема полноты
-
5 теорема полноты
-
6 аксиома полноты
-
7 аксиома полноты
Русско-английский новый политехнический словарь > аксиома полноты
-
8 completeness theorem
The English-Russian dictionary general scientific > completeness theorem
-
9 Gödelscher Vollständigkeitssatz
геделева теорема полноты, теорема полноты ГеделяНемецко-русский математический словарь > Gödelscher Vollständigkeitssatz
-
10 полнота
ж. completenessСинонимический ряд:1. всесторонность (сущ.) всесторонность2. неограниченность (сущ.) безраздельность; неограниченность3. полнотелость (сущ.) гладкость; дородность; полнотелость; пухлость; пышность; сдобность; упитанностьАнтонимический ряд:пустота; худоба -
11 простая полнота
-
12 функциональная полнота
Русско-английский большой базовый словарь > функциональная полнота
-
13 полнота
-
14 полнота
-
15 completeness theorem
1) Математика: теорема полноты2) Программирование: теорема о полноте -
16 completeness theorem
Большой англо-русский и русско-английский словарь > completeness theorem
-
17 Vollständigkeitsaussage
(f)теорема полнотыНемецко-русский математический словарь > Vollständigkeitsaussage
-
18 Vollständigkeitssatz
(m)теорема полнотыНемецко-русский математический словарь > Vollständigkeitssatz
-
19 completeness theorem
мат.English-Russian scientific dictionary > completeness theorem
-
20 absolute completeness
- 1
- 2
См. также в других словарях:
Теорема Больцано — Вейерштрасса — Теорема Больцано Вейерштрасса, или лемма Больцано Вейерштрасса о предельной точке предложение анализа, одна из формулировок которого гласит: из всякой ограниченной последовательности точек пространства можно выделить сходящуюся… … Википедия
Теорема Больцано — Теорема Больцано Вейерштрасса, или лемма Больцано Вейерштрасса о предельной точке предложение анализа, одна из формулировок которого гласит: из всякой ограниченной последовательности точек пространства можно выделить сходящуюся… … Википедия
Теорема Кука — Теорема Кука Левина (также просто теорема Кука) утверждает, что задача о выполнимости булевой формулы в КНФ (SAT) является NP полной. Доказательство этой теоремы, полученное Стивеном Куком в его фундаментальной работе в… … Википедия
МЮНЦА ТЕОРЕМА — теорема о полноте системы степеней на отрезке для того чтобы для любой функции , непрерывной на и любого нашлась линейная комбинация такая, что необходимо и достаточно, чтобы выполнялось условие В случае отрезка к системе … Математическая энциклопедия
КАНТОРА ТЕОРЕМА — 1) Множество 2A, состоящее из всех подмножеств множества А, не равномощно ни самому А, ни его подмножеству. Идея доказательства этой теоремы, принадлежащая Г. Кантору (G.Cantor, 1878), получила название канторова диагонального метода и играет… … Математическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции:… … Большая советская энциклопедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия